Optimal. Leaf size=200 \[ \frac{2}{15 a c^3 \sqrt{a^2 x^2+1} \sqrt{a^2 c x^2+c}}+\frac{1}{20 a c^3 \left (a^2 x^2+1\right )^{3/2} \sqrt{a^2 c x^2+c}}-\frac{4 \sqrt{a^2 x^2+1} \log \left (a^2 x^2+1\right )}{15 a c^3 \sqrt{a^2 c x^2+c}}+\frac{8 x \sinh ^{-1}(a x)}{15 c^3 \sqrt{a^2 c x^2+c}}+\frac{4 x \sinh ^{-1}(a x)}{15 c^2 \left (a^2 c x^2+c\right )^{3/2}}+\frac{x \sinh ^{-1}(a x)}{5 c \left (a^2 c x^2+c\right )^{5/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.12299, antiderivative size = 200, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 4, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.21, Rules used = {5690, 5687, 260, 261} \[ \frac{2}{15 a c^3 \sqrt{a^2 x^2+1} \sqrt{a^2 c x^2+c}}+\frac{1}{20 a c^3 \left (a^2 x^2+1\right )^{3/2} \sqrt{a^2 c x^2+c}}-\frac{4 \sqrt{a^2 x^2+1} \log \left (a^2 x^2+1\right )}{15 a c^3 \sqrt{a^2 c x^2+c}}+\frac{8 x \sinh ^{-1}(a x)}{15 c^3 \sqrt{a^2 c x^2+c}}+\frac{4 x \sinh ^{-1}(a x)}{15 c^2 \left (a^2 c x^2+c\right )^{3/2}}+\frac{x \sinh ^{-1}(a x)}{5 c \left (a^2 c x^2+c\right )^{5/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5690
Rule 5687
Rule 260
Rule 261
Rubi steps
\begin{align*} \int \frac{\sinh ^{-1}(a x)}{\left (c+a^2 c x^2\right )^{7/2}} \, dx &=\frac{x \sinh ^{-1}(a x)}{5 c \left (c+a^2 c x^2\right )^{5/2}}+\frac{4 \int \frac{\sinh ^{-1}(a x)}{\left (c+a^2 c x^2\right )^{5/2}} \, dx}{5 c}-\frac{\left (a \sqrt{1+a^2 x^2}\right ) \int \frac{x}{\left (1+a^2 x^2\right )^3} \, dx}{5 c^3 \sqrt{c+a^2 c x^2}}\\ &=\frac{1}{20 a c^3 \left (1+a^2 x^2\right )^{3/2} \sqrt{c+a^2 c x^2}}+\frac{x \sinh ^{-1}(a x)}{5 c \left (c+a^2 c x^2\right )^{5/2}}+\frac{4 x \sinh ^{-1}(a x)}{15 c^2 \left (c+a^2 c x^2\right )^{3/2}}+\frac{8 \int \frac{\sinh ^{-1}(a x)}{\left (c+a^2 c x^2\right )^{3/2}} \, dx}{15 c^2}-\frac{\left (4 a \sqrt{1+a^2 x^2}\right ) \int \frac{x}{\left (1+a^2 x^2\right )^2} \, dx}{15 c^3 \sqrt{c+a^2 c x^2}}\\ &=\frac{1}{20 a c^3 \left (1+a^2 x^2\right )^{3/2} \sqrt{c+a^2 c x^2}}+\frac{2}{15 a c^3 \sqrt{1+a^2 x^2} \sqrt{c+a^2 c x^2}}+\frac{x \sinh ^{-1}(a x)}{5 c \left (c+a^2 c x^2\right )^{5/2}}+\frac{4 x \sinh ^{-1}(a x)}{15 c^2 \left (c+a^2 c x^2\right )^{3/2}}+\frac{8 x \sinh ^{-1}(a x)}{15 c^3 \sqrt{c+a^2 c x^2}}-\frac{\left (8 a \sqrt{1+a^2 x^2}\right ) \int \frac{x}{1+a^2 x^2} \, dx}{15 c^3 \sqrt{c+a^2 c x^2}}\\ &=\frac{1}{20 a c^3 \left (1+a^2 x^2\right )^{3/2} \sqrt{c+a^2 c x^2}}+\frac{2}{15 a c^3 \sqrt{1+a^2 x^2} \sqrt{c+a^2 c x^2}}+\frac{x \sinh ^{-1}(a x)}{5 c \left (c+a^2 c x^2\right )^{5/2}}+\frac{4 x \sinh ^{-1}(a x)}{15 c^2 \left (c+a^2 c x^2\right )^{3/2}}+\frac{8 x \sinh ^{-1}(a x)}{15 c^3 \sqrt{c+a^2 c x^2}}-\frac{4 \sqrt{1+a^2 x^2} \log \left (1+a^2 x^2\right )}{15 a c^3 \sqrt{c+a^2 c x^2}}\\ \end{align*}
Mathematica [A] time = 0.172358, size = 121, normalized size = 0.6 \[ \frac{\sqrt{a^2 c x^2+c} \left (4 a x \sqrt{a^2 x^2+1} \left (8 a^4 x^4+20 a^2 x^2+15\right ) \sinh ^{-1}(a x)-\left (a^2 x^2+1\right ) \left (-8 a^2 x^2+16 \left (a^2 x^2+1\right )^2 \log \left (a^2 x^2+1\right )-11\right )\right )}{60 a c^4 \left (a^2 x^2+1\right )^{7/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.161, size = 363, normalized size = 1.8 \begin{align*}{\frac{16\,{\it Arcsinh} \left ( ax \right ) }{15\,a{c}^{4}}\sqrt{c \left ({a}^{2}{x}^{2}+1 \right ) }{\frac{1}{\sqrt{{a}^{2}{x}^{2}+1}}}}+{\frac{1}{ \left ( 2400\,{a}^{10}{x}^{10}+12900\,{x}^{8}{a}^{8}+28140\,{x}^{6}{a}^{6}+31020\,{x}^{4}{a}^{4}+17220\,{a}^{2}{x}^{2}+3840 \right ) a{c}^{4}}\sqrt{c \left ({a}^{2}{x}^{2}+1 \right ) } \left ( 8\,{x}^{5}{a}^{5}-8\,{a}^{4}{x}^{4}\sqrt{{a}^{2}{x}^{2}+1}+20\,{x}^{3}{a}^{3}-16\,{a}^{2}{x}^{2}\sqrt{{a}^{2}{x}^{2}+1}+15\,ax-8\,\sqrt{{a}^{2}{x}^{2}+1} \right ) \left ( -64\,{x}^{8}{a}^{8}-64\,\sqrt{{a}^{2}{x}^{2}+1}{x}^{7}{a}^{7}-280\,{x}^{6}{a}^{6}-248\,\sqrt{{a}^{2}{x}^{2}+1}{x}^{5}{a}^{5}+160\,{a}^{4}{x}^{4}{\it Arcsinh} \left ( ax \right ) -456\,{x}^{4}{a}^{4}-340\,{a}^{3}{x}^{3}\sqrt{{a}^{2}{x}^{2}+1}+380\,{a}^{2}{x}^{2}{\it Arcsinh} \left ( ax \right ) -328\,{a}^{2}{x}^{2}-165\,ax\sqrt{{a}^{2}{x}^{2}+1}+256\,{\it Arcsinh} \left ( ax \right ) -88 \right ) }-{\frac{8}{15\,a{c}^{4}}\sqrt{c \left ({a}^{2}{x}^{2}+1 \right ) }\ln \left ( 1+ \left ( ax+\sqrt{{a}^{2}{x}^{2}+1} \right ) ^{2} \right ){\frac{1}{\sqrt{{a}^{2}{x}^{2}+1}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.14265, size = 201, normalized size = 1. \begin{align*} -\frac{1}{60} \, a{\left (\frac{16 \, \sqrt{\frac{1}{a^{4} c}} \log \left (x^{2} + \frac{1}{a^{2}}\right )}{c^{3}} - \frac{3}{{\left (a^{6} c^{\frac{5}{2}} x^{4} + 2 \, a^{4} c^{\frac{5}{2}} x^{2} + a^{2} c^{\frac{5}{2}}\right )} c} - \frac{8}{{\left (a^{4} c^{\frac{3}{2}} x^{2} + a^{2} c^{\frac{3}{2}}\right )} c^{2}}\right )} + \frac{1}{15} \,{\left (\frac{8 \, x}{\sqrt{a^{2} c x^{2} + c} c^{3}} + \frac{4 \, x}{{\left (a^{2} c x^{2} + c\right )}^{\frac{3}{2}} c^{2}} + \frac{3 \, x}{{\left (a^{2} c x^{2} + c\right )}^{\frac{5}{2}} c}\right )} \operatorname{arsinh}\left (a x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\sqrt{a^{2} c x^{2} + c} \operatorname{arsinh}\left (a x\right )}{a^{8} c^{4} x^{8} + 4 \, a^{6} c^{4} x^{6} + 6 \, a^{4} c^{4} x^{4} + 4 \, a^{2} c^{4} x^{2} + c^{4}}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.37617, size = 167, normalized size = 0.84 \begin{align*} -\frac{1}{60} \, \sqrt{c}{\left (\frac{16 \, \log \left (a^{2} x^{2} + 1\right )}{a c^{4}} - \frac{24 \, a^{4} x^{4} + 56 \, a^{2} x^{2} + 35}{{\left (a^{2} x^{2} + 1\right )}^{2} a c^{4}}\right )} + \frac{{\left (4 \,{\left (\frac{2 \, a^{4} x^{2}}{c} + \frac{5 \, a^{2}}{c}\right )} x^{2} + \frac{15}{c}\right )} x \log \left (a x + \sqrt{a^{2} x^{2} + 1}\right )}{15 \,{\left (a^{2} c x^{2} + c\right )}^{\frac{5}{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]